You own text cited, indicate that the Lugano convention is for civil and commercial matters.
The curent case was a criminal one, so it would not apply.
PS: Unless an update is available, ProtonMail is force to keep some data on users:
I guess this explain why they did comply with law enforecement Orders 8,313 times in 2025 !