>>597
帝国陸軍には船舶工兵というものがあってな…