Title: Tetrachlorkohlenstoff als Darmdesinfektionsmittel