{ }-0 Die Menge der Mengenkenntnisse dieses Benutzers = .