Revert "Merge branch 'issue/remove-to-unique-ptr' into 'master'"
This reverts merge request !116 (merged)
Merge, when core/dune-grid!497 (merged) was merged.
This reverts merge request !116 (merged)
Merge, when core/dune-grid!497 (merged) was merged.