Nutzung der automatischen Kombinatorik