Alright, I might be a bit impatient. I tried to bring up http://localhost:8080/Portal a bit too soon. After installing SAS Enterprise BI Products, the extraction of those SAS .war files apparently takes more time for Tomcat than I thought. You can watch the progress in Windows Explorer /webapps. Just don't open that Portal URL too soon - let it finish.