EP3709201A1 - METHOD FOR VERIFYING AN EXECUTION ENVIRONMENT USED FOR EXECUTION OF AT LEAST ONE HARDWARE-APPLICATION PROVIDED BY A CONFIGURABLE HARDWARE MODULE