A Closer Look At Today's German Stock Market Flash Crash