"Milk punch." Hot punch made with milk, chopped almonds, beaten egg yolks, sugar and brandy flavoured with vanilla.
