The "flash-crash" of May 6: What happened?