Simplifizierung mittels Mindermengen-Analyse