a) po 31. prosinci 1946 podle předpisů o hornickém pensijním pojištění nebo o důchodovém pojištění horníků;