"precompact" Deutsche bedeutung