AB 1986/1:EHRM, 23-10-1985, nr. 8848/80: Benthem-Staat