The mirrors remained the largest in the world until 1845.
主鏡は1845年まで世界最大だった。