Bundeswehr Marine-Taschenmesser, Bordmesser, Marlspieker Armeetaschenmesser