Text this: Ο βασιλιάς Ερρίκος ο Δ':