German city dumps OpenOffice and switches to Microsoft