The solution was switching translation plugins. In my case, it appeared not at all possible to get to a nice translation of WooCommerce using Polylang with reasonable effort (of course you can always go in the core files and do crazy things).
With WPML, it was quite easy. Just needed to discover what plugin settings worked best in my case. No crazy stuff!