Otto Bayer — German translator (1937-2018)