Der ehemalige Pavillon ist vermutlich nicht gemeint, sondern ein paar Stücke der ehemaligen Mauer. Hier ist beides zu sehen: https://www.mapillary.com/app/?focus=photo&mapStyle=OpenStreetMap&pKey=2835216746691064&x=0.2119&y=0.4620&zoom=1.4819
