Sorry this isn't helpful but I've even checked a list of Tipp towns and can't come up with anything. Tough question. Hope you find the answer, it'd be interesting to know what it is. Good luck, hopefully someone will know. Think you could post it in the Tipp threads?
