Ja, den meine ich. Mir war als hätte er 32 gekostet. Egal. Ich finde ihn jedenfalls sehr gut und nehme ihn vor allem im Sommer, auch zwischendurch am Tag zur Erfrischung.