had been followed, on the 3rd of December, 1800, by the battle of Hohenlinden, in which Moreau defeated the Austrian