PR-Woerterbuch/Extensions