Further removal of dune-parmg code

Sander, Oliverrequested to merge
further-parmg-removal into master

When removing the dependency on dune-parmg, I forgot a few bits.

Merge request reports