I know the rules very well: Here's the quote:

http://www.verbindungsstelle.ch/docu...ng_EN_2012.pdf

under point 3:

Benefits concernedThat part of the vested benefit which is derived from a compulsory occupational benefit scheme is concerned. The component of the vested benefit which exceeds the statutory minimum benefit amounts (non-compulsory part) is not affected. Retirement benefits on reaching the ordinary pensionable age or the age of early retirement (insofar as the regulation provides this possibility), as well as disability and death benefits, are likewise not concerned. As a peculiarity of Swiss benefit law, early drawing in favour of owner-occupied home ownership continues to be possible within the range of the compulsory occupational benefit even if the residential property is located in the new EU or EFTA country of residence.

It's the law...