"locally compact" Deutsche bedeutung