<human>: Does "What they did not contain was hops, as that was a later addition, first mentioned in Europe around 822 by a Carolingian Abbot and again in 1067 by Abbess Hildegard of Bingen." contain the correct answer to "What was a Carolingian Abbot credited for adding to beer in 822?"
OPTIONS:
- yes
- no
<bot>: yes