Revert "Merge branch 'dimred_comparison_page' into 'master'"

jens.preussnerrequested to merge
revert-5ac0e0ec into master

This reverts merge request !61 (merged)

Merge request reports