Compact spreads and compact translation planes over locally compact fields

We prove that a spread S over a locally compact nondlscrete field F defines a topological translation plane if and only if the spread is compact. For F=R, this is implicit in Breuning's thesis [Bre], cf. [B 2]. For the proof, we describe the point set of the projective translation plane as a quotient space of some projective space, with identifications taking place in one hyperplane. This is new even for F=R.