Det hände nämligen så ,att