Merge branch 'develop' of gitlab.math.tu-dresden.de:spraetor/dune-amdis into develop

1 job for develop in 2 minutes and 47 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Test
passed #5059
dune:git--gcc

00:02:47