Dichungssatz fuer Pumpe