potassium ion transmembrane transport [GO_0071805] - Virtual Fly Brain