då skall namnet af den jordiske konung,