. . . . . . . . "This looks like a very good formalization to me." . "5" . . . "RSA" . "MIGfMA0GCSqGSIb3DQEBAQUAA4GNADCBiQKBgQCwUtewGCpT5vIfXYE1bmf/Uqu1ojqnWdYxv+ySO80ul8Gu7m8KoyPAwuvaPj0lvPtHrg000qMmkxzKhYknEjq8v7EerxZNYp5B3/3+5ZpuWOYAs78UnQVjbHSmDdmryr4D4VvvNIiUmd0yxci47dTFUj4DvfHnGd6hVe5+goqdcwIDAQAB" . "BQOUIBNdct0HdfMCsmJ+4Lxzt8jETS70G1YRTTvOpQQSsaxwGBzkpmC0kW8rmcT1Gov5I3r/fHyBQ8clXUJ64bM5u9wJrVZWK+/oJrDLDmUPxaK78vTjNSA3noQfiEB9P3AP83kvcLjnY2tWgT8bc5wUWgRQqh1CQLxqGUiuw+c=" . . "2021-10-14T10:47:57.503+02:00"^^ . . . . .