Translation of "Maintenance bay" in German