För några dagar sedan hände nämligen,