Vid half åttatiden gick konungeni