Dutch post WW2 shovel cover

Well, title says all.
It is a shovel cover for the folding shovel and was used by the Dutch army.
Dated 1954 and in very nice used condition.