tributary of Leiblach at the border of the municipalities of Heimenkirch and Hergatz, Bavaria, Germany