mario — German Definition & Usage