Dictionary of Mathematical Sciences: English-German, with a supplement of new words