Verbesserungen und Bugfixes

In diesem Release finden sich außerdem weitere kleinere Verbesserungen und Bugfixes.