Das Pionier-Bataillon 80: Aufstellung, Gliederung. Einsatz und Schicksal des Bataillons.