REQ vs. P-EL - KB-Bereich