This corresponds to https://git.iws.uni-stuttgart.de/dumux-repositories/dumux-docker-ci/-/merge_requests/33.