Shorten "Karlsruhe" in the stop list