Royal Dutch Mint - National coin mint of the Kingdom of the Netherlands