German High Frequency Trading Act and automated trading strategies