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