Merge branch 'spielwiese' of https://github.com/Singular/Sources into spielwiese
Merge branch 'spielwiese' of https://github.com/fieker/Sources into spielwiese
Merge branch 'spielwiese' of https://github.com/fieker/Sources into spielwiese
fix typo