WIP

Signed-off-by: Martin Weise martin.weise@tuwien.ac.at

Closes #528

added status::Done label

removed status::Done label

assigned to @mweise

enabled an automatic merge when all merge checks for 2cedd890 pass

mentioned in commit 1293aa65

merged