What is this knife?

My father left me this knife. I have it in my toolbox for quite a while. Every time I use it I wonder what the history of the knife could be. Can you identify it? The ruler next to it shows cm. I’m in Holland 🙂