Wie sollte der Euro ursprünglich heißen?