Defensie Pijpleiding Organisatie field engineering pamphlet Pipe mines : Pushing, loading and firing / TheChief of the Imperial General Staff
