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