Hvem var det Carl XI , bland alla sin tids lärde,