Lunch will be served at a quarter past eleven. What time is lunch?