"compact closure" Deutsche bedeutung