WMF800 und 900 gleicher Wassertank?