Das Panzer-Pionier-Bataillon 40: Aufstellung, Gliederung und Einsatz.