Revert "Merge branch 'refs/heads/gh-pages' into Auflage_3"

This reverts commit a48898b05a2b2c8d1d0b599b0dcee957752efa3a, reversing
changes made to d06301f33524f7f65e7a1a71ce0ec30dfc1e7842.