Änderungen:
- behoben: Optionen “automatisch selektierten Titel laden” und “bei Titelwechsel weiterspielen” funktionieren nicht mehr
- behoben: Archiv hängt beim Import manchmal fest
- behoben: Archiv hängt bei “FileArchiv leeren” machmal fest
- behoben: Archiv hängt bei "Zähler zurücksetzen " machmal fest
- behoben: Archiv hängt beim Hinzufügen von Titeln machmal fest
- behoben: Anzeige der gespielten Titel manchmal nicht korrekt