Krause, Rudolf city planner.