RvdW 1996, 132:HR, 31-05-1996, nr. 16002: Pensioenverrekening bij het Amsterdams verrekenbeding?