Neues Plugin: Gelesen Markierungen verändern Devon 30. September 2020 Das Plugin ist (nur zum Verständnis) also eine Lösung für dieses Phänomen?