danke noone,

das hatte ich tatsächlich nicht aktiviert! Geht ja sogar mit fortlaufenden
Nummern.
Da wird dann aber immer nur eine Kopie beim Speichern angelegt und nicht in
irgendwelche Zeitabständen automatisch gesichert.
Gut muss man sich das halt wieder angewöhnen, gibt Schlimmeres!