text: Bei Gießhüble heißt der Bach "Hochleitenbach" und östlich von Brunn am Gebirge heißt er "Krottenbach" (-> doppel t). Wann und wo der Übergang vom einen in den anderen ist, habe ich noch nicht gefunden.