Chauffagist in Eigenbrakel (1420): panne, ketelonderhoud