Bugfixing

In diesem Release finden sich außerdem kleinere Bugfixes.