Kann man ein Gussrohr schneiden?