Intel Xeon E3-1231 v3 als günstigster Vierkerner mit HyperThreading