bestämmelser rörande justltieråds pensionering.