The German High-Frequency Trading Act: Implications for Market Quality