[update]
I somehow succeeded in starting the Gateway despite the error messages I reported in the first post.
Basically, from within the gateway folder, what I did was this:
rm -rf node_modules # generated by the npm ci command
npm install
npm start
That’s it! Now what remains to be examined is whether everything will work…