"ergosterol" Deutsche bedeutung