har blifvit uppröjdt , och man använder desinflektion med petroleum , tills andra verksamma medel kunna åstadkommas.