Der Graben um 1715. Rechts das Elefantenhaus.
Graben