Merge branch 'feature/debian_package' of...
Merge branch 'feature/debian_package' of https://gitlab.math.tu-dresden.de/iwr/amdis into feature/debian_package
Merge branch 'feature/debian_package' of https://gitlab.math.tu-dresden.de/iwr/amdis into feature/debian_package