f (zum evakuieren einer röhre)