real high-summer pudding