How many people died in the battle of Mulhouse?