mata uang jerman sebelum euro