Prefixes starting with <DER>
<DERR>
.
<DER> (other)
.