The mixing of euro coins in Germany Article from the Monthly Report December 2019