Translation of "Punched card equipment" in German