Ehrenfried Walther von Tschirnhaus — Family