registration.xmi erstellt