mintmaster of the Dutch Royal Mint - formal job description of the Dutch coin presser, Netherlands