You can get the official S5P NO2 products from the S5P Hub or new dataspace service. This is the only official source for this data and this is where you should get it.
Apparently KNMI also distributes the NO2 data via their TEMIS website, but in a reduced form (which is why the files have a ‘reduced’ postfix in the filename). This apparently removed variables that HARP is expecting to find, such as the satellite altitude. I will contact TEMIS/KNMI to ask why they are providing reduced data in this form, since it is hurting usability.
I raised the point with KNMI back then, but there was no final response on whether they would add the type of variables that we would expect with HARP. I’ve asked KNMI for an update.
Okay, I will. Thank you. For now I manage to HARP import the files by specifying the missing data variables in the exclude option of harp.import_product()