hufvud- och residensstaden Karlsruhe.