Tekstiviesti: Frei Otto ist tot