Bockwurst in der Harz-Mensa: mehr regionale Zutaten