Kurs:Singularitätentheorie (Osnabrück 2019)/Lokaler Ring/Regulär/Homologische Charakterisierung/Fakt/Faktreferenznummer