SMS versenden: Paul Lorenzen -- Mathematician and Logician