Revert "Merge branch 'master' of https://git.rwth-aachen.de/astro/astrotools"

This reverts commit b3d11b9c
4 jobs for revert-b3d11b9c in 1 minute and 55 seconds (queued for 2 seconds)