Merge branch 'feature/disc-string' into 'master'

[disc] Add toString function for discretization method

See merge request !2724
4 jobs for master in 0 seconds (queued for 65 minutes and 50 seconds)
Status Name Job ID Coverage
  Trigger
passed full-dune-2.7-clang

canceled full-dune-2.7-gcc

passed minimal-dune-2.7-gcc

 
  Downstream Modules
canceled trigger lecture