en festmåltid i Gravenreuths läger.