hvarefter konungen intog frukost på restauranten.