Eating

Greek, Italian and Chinese options bulk out the expected German restaurants. Nothing stays open very late.