Det var , antager man,