Four langugage technical dictionary. (Berlin, 1970)