München setzt Linux ein