OFFSET
1,5
CROSSREFS
KEYWORD
nonn,more
AUTHOR
Juergen Buntrock (jubu(AT)eule.in-berlin.de), Nov 17 2003
STATUS
approved