https://9dok.net/document/y962e46d-insbesondere-ist-z-τp-nicht-kompakt.html