konung nämnes- icke uttryckligen.