https://www.scinexx.de/news/technik/mathematik-neunte-dedekind-zahl-geknackt/