bei meiner Vitodens 222 aus 2011 sind beide Pumpen gleichzeitig ausgefallen. Es es sinnvoll bzw. angeraten, im Rahmen der Reparatur auch den Plattenwärmetauscher zu ersetzen?