miranda — German Definition & Usage