Remove Mensch

Use Ideal instead. Fixes #1447.