WMF 800 - Wassertanksensor bzw. Füllstandssensor