The name of the currency of Germany is: