Key legal question
Whether the municipality owed exit contribution based on the APK coverage ratio or the lower BVG coverage ratio
Extracted holding
The exit contribution must be calculated using the APK coverage ratio, so the valuation reserve is not first notionally released for the municipality's exit.
Extracted reasoning
Swiss GAAP FER 26 and BVV 2 do not bar reserve formation for a public fund with only a performance guarantee; the reserve remains tied to the assets it protects and is not transferred to departing employers when benefits are paid in cash.