Shorten "Karlsruhe" to "KA"