.
vera und leqb