Constantinople Sarayburu, Adelet Sarayı, Ayasofya, Sultanahmet Edt. J. Ludwigsohn