no figures for annual hours but in ireland its a 40 hour week 33 days leave and minimum 40 years service for full pension (50% final salary) retirement at 65. no early retirement.
18 year pay scale (or is it more?) maxing at about 92k excluding overtime