Somit trägt jeder zweite in Spanien verkaufte x86-Server das HP-Label.