EM-Auslosung: Rote Teufel in machbarer Gruppe