Det hade således haftatt