Hi @hapetter,
You can download the root certificate here. It should be sufficient to use it. It has 2kb size.
Regards, Florian