German city drops Windows for Linux