Mice were housed in individually ventilated cages under specific pathogen-free conditions. Conventional C57BL/6 mice (WT) were purchased from Janvier Labs. Il12rb2−/−, Rag1−/−, Rag2−/−Il2rg−/−, and RorcGFP/+ (Rorc−/−) mice were purchased from The Jackson Laboratory. Il15ra−/− mice were provided by S. Bulfone-Paus (Forschungszentrum Borstel, Borstel, Germany); Rorc-eYFP and Rorccre mice by A. Diefenbach (University of Mainz, Mainz, Germany); and EomesGFP/+ mice by S.J. Arnold (University of Freiburg, Freiburg, Germany; Arnold et al., 2009 (link)). All experimental procedures were performed according to the animal licenses approved by the Swiss cantonal veterinary office (licenses 145/2012 and 142/2015).