Boxer ist vermutlich ein Markenname. Wenn ja, sollte es aber nicht heißen: "…, wo die Boxer entgleist waren." Da wäre Raupenschlepper nicht nur neutraler, sondern auch verständlicher. Oder ist "Boxer" doch ein allgemeiner Begriff für kleine Raupenschlepper, den ich bloß nicht kenne, wie "Ameise" für Gabelstapler? -- Lothar Spurzem 23:14, 22. Feb. 2016 (CET)