Alfred Kocher, Übersetzungen