Ole Vinding — Danish translator (1906-1985)