Följande hade nämligen inträffat: