org.qedeq.kernel.rel.test.text (Hilbert II)