an agent provocateur - German English Dictionary