Prüfen beim Speichern, ob Dokument geändert wurde.