Hohentengen, kleines Tor