High-precision timing observations of the millisecond pulsar PSR1937 + 21