Definition of "Karlsruhe"