The German mine launchers and grenade launchers in World War I The German mine launchers and grenade launchers in World War I