Endlich erzeugter Modul/Lokal freie Garbe/Charakterisierungen von lokal/Fakt/Name