Answer:
This is a false alarm. Our installation files are definitely free of viruses and other malware. This is checked carefully each time a new customer version is released.
The files are transferred via a secure https connection, which prevents any manipulation during the transfer.