Sorry about that. I only found it once, as linked. But thanks for your answer anyway.
Can you explain why other translations can be done but none related to WooCommerce? We do use a some plugins that are using Ajax for example. Still the translations for them seems to work. Or do I misinterpret something here? Thanks.