They knew: If Linux makes it in Munich, it will likely spread over and they loose tons of contracts with other German states.