Title: Ehrenfried Walther von Tschirnhaus Gesamtausgabe