How many marks is a euro?