Ubuntu and open source help the City of Munich save millions