marked this issue as related to #25 (closed)
mentioned in merge request !259 (merged)
assigned to @s2817051--tu-dresden.de
mentioned in commit ebe39681
closed with merge request !259 (merged)
