Jockel, der Gartenteichspringbrunnen