och anmärker han att de »varit