wie viele Porsche 993 gibt es noch ?