Hohentengen, on the German side