redefined in German
redefined in German
neu definiert
redefiniert
umbenannt
umdefiniert