Problem does not seem to be firewall-related.
When I turn off Windows firewall on both computers, the problem persists. I therefore conclude that the problem is not firewall related, and I will now turn the firewalls back on. BTW, File and Printer Sharing were already checked.
Thank you for...