Noun, masculine
der Minenleger {mil.}
der Minenleger {mil.}