replaced bogosort/mm.pub to schnittstabil.de