Wie wird der Name der antiken Stadt Petra in Jordanien aus dem Griechischen übersetzt?

Petra= Die Felsenstadt

Sehr beeindruckend! Wie es zu der Zeit möglich war, diese monumentale Kunstwerk direkt aus dem darunter befindlichen Fels zu meißeln... Fela