Loodgieter in Eigenbrakel (1420): lek, panne, installatie