som omtalats , var den mot marinmini * stern begångna.