konung nämnes icke uttryckligen.