Die 9. Dedekind-Zahl wurde nach 32 Jahren Suche gefunden!