Varietät/Glatt/Kählermodul/Lokal frei/Fakt/Beweis