- Ausgleich für Android-Fehler in der GUI
- (Von vorher:) Verbesserungen bei Genauigkeit und Listen
