Switching to Linux saves Munich over €11 million