a) byl-li jmenován soudcem Ústavního soudu, a to na dobu výkonu této funkce,