Merge master into dev
Fixes #179 (closed)
In !91 (closed) habe ich viele einzelne Commits, um dev
auf den Stand von master
zu bringen. Hier habe ich jetzt ein git merge master
gemacht und die Konflikte aufgelöst.
Ihr könnt ja mal gucken, was euch besser gefällt.
Edited by Mario Lenz