Virtualisierungsforderungen von Popek und Goldberg