80 millioner kroner, der kan anvendes til noget andet. Sådan bliver bundlinjen i Münchens migrering fra Windows til Linux.