Was wird aus Cholesterin synthetisiert?