Wann ist eine Umwälzpumpe defekt?