Translation of "Rocky patch" in German