Erhöhter Cholesterinspiegel: die Symptome