petra — German Definition & Usage