Merge branch 'feature/box-forchheimer' into 'master'

Feature/box forchheimer

See merge request !1822
6 jobs for master in 0 seconds (queued for 71 minutes and 20 seconds)
Status Job ID Name Coverage
  Trigger
passed full-dune-2.7-clang

passed full-dune-2.7-gcc

passed full-dune-master-clang

passed full-dune-master-gcc

passed minimal-dune-2.7-gcc

 
  Downstream Modules
passed trigger lecture