„[…] Kdyby se narubané uhlí rozpočítalo na všechny, kdo mu pomáhali a zajišťovali jeho práci, vyšlo by to na […] 7 tun na člověka. Jenže pro Stachonovovu rekordní směnu byla použita jiná…"