Det skedda är följande: