Womit ist die mit Panseninhalt verschmutzte Bauchhöhle zu reinigen?