Kurs:Analysis (Osnabrück 2014-2016)/Kompaktheit/Satz von Heine-Borel/Fakt/Faktreferenznummer