Verbesserungen und Bugfixes

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