Educational institutions in East Germany