gleichrangiger mengenteil: nicht gefunden