Wieviele Kerne hat ein vServer 4000?