Wilhelm Jost: Ehrengrab für Halles Stadtbaumeister