(ehem.) European Exchange Rate Mechanism (Wechselkursmechanismus der EU – WKM; heute: ERM II / WKM II)