Menge: Gemischter Satz Kolkmann