Ist ein Waschtrockner ein Kondenstrockner?