Royal Mint of Denmark — national mint (coin manufacturer) of Denmark