Closed schuer closed 7 years ago
fixes #65
Markus hat ja schon draufgeschaut. Wenn niemand weitere Einwände hat, würde ich bald mergen.
Merge it baby
fixes #65