Microsoft-Mitgründer Paul Allen ist tot