Podmorska mina i postupak za gnjuranje podmorskih mina (Gradnja ladij in pomorstvo, 1931)