Exactly, these are my thoughts as well. I wrote on bitcoin.de support and they replied me in few hours that they do not see any price manipulation and using a bot is not illegal.