No violation of Article 5 - Right to liberty and security (Article 5-1 - Lawful arrest or detention;Procedure prescribed by law;Article 5-1-e - Persons of unsound mind);No violation of Article 7 - No punishment without law (Article 7-1 - Heavier penalty;Conviction;Criminal offence)
Same source, country, and finding where possible.