About 10 years ago, the government of Munich, a city in Germany, found that using Microsoft's operating system was rather expensive.