9 тысяч компьютеров в гос. учреждениях Мюнхена переведены на Linux