On the trace map of Lubin-Tate formal groups and a result of Lang-Tate | Synapse