Merge request created by Benedikt Heinrichs, Heinrichs@itc.rwth-aachen.de, created at 02.02.2022 16:38:27