Riksmyntet i Holstein har nu , genomen