r31

Witten, 1987