Резюме на мотивите към решението на Първи сенат от 16 февруари 2023 г. – 1 BvR 1547/19 – 1 BvR 2634/20 – Автоматизиран анализ на данни