Die zufälligen Schiffsnamen verhindern, dass ein neues Schiff ordnungsgemäß in die Autoflotte für 'unbenannt' Schiffe eingetragen wird. Dadurch muss man immer erst die Alle-Flotte durchsuchen, was sehr umständlich ist und lange dauert. Energie=0 oder ähnliches funktioniert zumindest bei NPC nicht und die IstInNormalerFlotte - Eigenschaft bringt es auch nicht, wenn ein großer Teil der Schiffe sich in Autoflotten befinden.
Deshalb schlage ich vor, die Autobenennungsfunktion in den Optionen deaktivierbar zu machen.
