Wettelijke ontslagleeftijd voor rechters (zeventig jaar) levert geen verboden onderscheid naar leeftijd op.