האם עובד מדינה זכאי לזכויות פנסיה מן המדינה עבור תקופת עבודתו באותו מקום עבודה אצל מעסיק קודם?