Gartner: мировой рынок серверов в 2Q12 вырос совсем незначительно, а в деньгах даже сократился