locally compact groups - German English Dictionary