Gastroteket is a cafeteria offering a variety of meals, including sushi.