Squashed commit of the following:
commit 6d4494e5f4cc2e9689dbe53c83b79b89c205b1d1
Merge: 33f8075 302604b
Author: Gregor Kleen <gregor.kleen@ifi.lmu.de>
Date: Mon Jan 18 16:32:35 2021 +0100
Merge branch 'master' into barths
commit 33f80751c6f39358c16a9267a36b37f6b4145250
Author: Stephan Barth <barths@murcia.tcs.ifi.lmu.de>
Date: Mon Jan 18 16:27:34 2021 +0100
Eine Message in thesis hinzugefuegt.