Main Search Muschi Kontraktionen Kompilation