konung den förstes tillnamn : re galantuomo ( konungen — hedersmannen ).