Let everyone know: the record‑breaking pumpkin was grown by the Vagenleitner family!