bar i dagarna världens minsta man , den s. k. general Tom Thumb , aflidit.