creation date: Wed Dec 2 18:03:16 MET 1998
22#1
A^11=id B^2=id (A^10)
22#2
A^11=id B^2=id (A)
last updated: Wed Dec 2 18:03:22 MET 1998 ,
Anton Betten
