Dutch city of 175,000 people drops Microsoft Office for OpenOffice.org