Comment on @Hubzilla Support Forum Bingo! It works. Don't ask me why. I'
First I have thought it is because my setup, as the first hub was in my home with a nginx reverse proxy before that. I couldn't get it to work there, but as I have moved this account to a VPS, I still got no push notifications. Activating the addon and the setting made me finally happy, on both hubs.