kortare än general Tom Tumb ).