traded options market - German English Dictionary