Benzmüller's work on the Ontological Argument is mentioned/discussed in Scientific American and Spektrum der Wissenschaft
See https://www.scientificamerican.com/article/can-god-be-proved-mathematically/ and https://www.spektrum.de/kolumne/ontologischer-beweis-goedel-zeigt-dass-gott-existiert-oder-nicht/2052687 (however, not all statements in these articles seem formally correct).