topologie/tex/sections/04_kompaktheit.tex