Här hade ander tiden konungen,