Raumnetze, Kakteen, Mathematik und die Entdeckung der Mars-Höhlen: Die algorithmischen Revolutionen von Herbert W. Franke