Translation of "Maschinenpool" in English