File:Gottfried Hochstadt.png