// 42. Eichenhainfest, Brunn