Huru stor war tomten , när hrPetterson