Der Europäische Gerichtshof für Menschenrechte.