mintnoteriHAMBURG den 31 juli.