10 years later, Munich may dump Linux for Windows