Hörsaal 7 is a cafeteria offering discounted prices for students.