De hade nemligen »varit