Munich to ditch €30m Linux installation?