Was tun bei thrombophlebitis?