Very interesting!
I was not aware of this type of small naval dirk.
Thank you Detlef for the explanations.
Anyhow, the one in the original posting is significantly different, much more towards a "garter dagger" (sounds better than "prostitute dagger").