Translation of "Mandatory injunction" in German