Wie viel Reichsmark sind 1 €?