anlände dit konungen , kronprinsen samt prinsen as Gtucksborg.