GESCHUETZT SYNOPSIS void rename_object(object obj, string neuer_name); BESCHREIBUNG Gibt dem Objekt <obj> einen neuen Namen <neuer_name> und verursacht eine Schutzverletzung (einen Fehler). <neuer_name> darf kein # enthalten, ausser am Ende, um Verwirrung mit Clones zu vermeiden. AENDERUNGEN Eingefuehrt in 3.2@55. SIEHE AUCH creator(E), object_name(E), load_name(E)