@kumarvibe Oh, ha. I wondered what that German hashtag meant, but no: https://en.wikipedia.org/wiki/Innerleithen
Innerleithen - Wikipedia

@ednl it’s a nice little town. I need to go back and do some longer hikes.