Merge branch 'bugfix/differentdebianimage' into 'master' See merge request [!7] [!7]: Nonedune-fem/dune-fem-dg/merge_requests/7