No violation of Article 5 - Right to liberty and security (Article 5-1 - Lawful arrest or detention);No violation of Article 7 - No punishment without law (Article 7-1 - Heavier penalty)
External references
European Court of Human Rights reference: 001-166963