SMS dit: Frei Otto ist tot