ist nicht mehr: Zum Tode von John Nash | heise online