(#lt3x67q) Uuuhhh, that’s rather interesting, I didn’t know about that:

Aachen has been officially certified as “Bad Aachen”, but for alphabetical reasons usually declines to use the prefix

— https://en.wikipedia.org/wiki/List_of_spa_towns_in_Germany#A

That made me chuckle.