Encyclopædia Britannica, Ninth Edition/Tompa, Mihály

