10 deutsche mark münze 1972