Eingedeckter Grabenbrunnen (Leopoldsbrunnen).
Grabenbrunnen