Tschirnhaus, Ehrenfried Walther von