emeriti-kassa borde öfverleninas till allmänna pensionskassan , uppstodo olika meningar.