om konungens myndighetsålder den 10 juli beslöt stortinget under den 13 juli att begärakonungens