Output translation to a file