Laboratory mouse housing conditions can be improved using common environmental enrichment without compromising data.

Animal welfare requires the adequate housing of animals to ensure health and well-being. The application of environmental enrichment is a way to improve the well-being of laboratory animals. However, it is important to know whether these enrichment items can be incorporated in experimental mouse husbandry without creating a divide between past and future experimental results. Previous small-scale studies have been inconsistent throughout the literature, and it is not yet completely understood whether and how enrichment might endanger comparability of results of scientific experiments. Here, we measured the effect on means and variability of 164 physiological parameters in 3 conditions: with nesting material with or without a shelter, comparing these 2 conditions to a "barren" regime without any enrichments. We studied a total of 360 mice from each of 2 mouse strains (C57BL/6NTac and DBA/2NCrl) and both sexes for each of the 3 conditions. Our study indicates that enrichment affects the mean values of some of the 164 parameters with no consistent effects on variability. However, the influence of enrichment appears negligible compared to the effects of other influencing factors. Therefore, nesting material and shelters may be used to improve animal welfare without impairment of experimental outcome or loss of comparability to previous data collected under barren housing conditions.

Plasma proteome profiles treatment efficacy of incretin dual agonism in diet-induced obese female and male mice.

AIMS: Unimolecular peptides targeting the receptors for glucagon-like peptide-1 (GLP-1) and glucose-dependent insulinotropic polypeptide (GIP) (GLP-1/GIP co-agonist) have been shown to outperform each single peptide in the treatment of obesity and cardiometabolic disease in preclinical and clinical trials. By combining physiological treatment endpoints with plasma proteomic profiling (PPP), we aimed to identify biomarkers to advance non-invasive metabolic monitoring of compound treatment success and exploration of ulterior treatment effects on an individual basis. MATERIALS AND METHODS: We performed metabolic phenotyping along with PPP in body weight-matched male and female diet-induced obese (DIO) mice treated for 21 days with phosphate-buffered saline, single GIP and GLP-1 mono-agonists, or a GLP-1/GIP co-agonist. RESULTS: GLP-1R/GIPR co-agonism improved obesity, glucose intolerance, non-alcoholic fatty liver disease (NAFLD) and dyslipidaemia with superior efficacy in both male and female mice compared with mono-agonist treatments. PPP revealed broader changes of plasma proteins after GLP-1/GIP co-agonist compared with mono-agonist treatments in both sexes, including established and potential novel biomarkers for systemic inflammation, NAFLD and atherosclerosis. Subtle sex-specific differences have been observed in metabolic phenotyping and PPP. CONCLUSIONS: We herein show that a recently developed unimolecular GLP-1/GIP co-agonist is more efficient in improving metabolic disease than either mono-agonist in both sexes. PPP led to the identification of a sex-independent protein panel with the potential to monitor non-invasively the treatment efficacies on metabolic function of this clinically advancing GLP-1/GIP co-agonist.

Experimental colonization with H. hepaticus, S. aureus and R. pneumotropicus does not influence the metabolic response to high-fat diet or incretin-analogues in wildtype SOPF mice.

OBJECTIVES: We here assessed whether typical pathogens of laboratory mice affect the development of diet-induced obesity and glucose intolerance, and whether colonization affects the efficacy of the GLP-1R agonist liraglutide and of the GLP-1/GIP co-agonist MAR709 to treat obesity and diabetes. METHODS: Male C57BL/6J mice were experimentally infected with Helicobacter hepaticus, Rodentibacter pneumotropicus and Staphylococcus aureus and compared to a group of uninfected specific and opportunistic pathogen free (SOPF) mice. The development of diet-induced obesity and glucose intolerance was monitored over a period of 26 weeks. To study the influence of pathogens on drug treatment, mice were then subjected for 6 days daily treatment with either the GLP-1 receptor agonist liraglutide or the GLP-1/GIP co-agonist MAR709. RESULTS: Colonized mice did not differ from SOPF controls regarding HFD-induced body weight gain, food intake, body composition, glycemic control, or responsiveness to treatment with liraglutide or the GLP-1/GIP co-agonist MAR709. CONCLUSIONS: We conclude that the occurrence of H. hepaticus, R. pneumotropicus and S. aureus does neither affect the development of diet-induced obesity or type 2 diabetes, nor the efficacy of GLP-1-based drugs to decrease body weight and to improve glucose control in mice.

Origin of pancreatic ductal adenocarcinoma from atypical flat lesions: a comparative study in transgenic mice and human tissues.

Pancreatic ductal adenocarcinoma (PDAC) and its precursor lesions, pancreatic intraepithelial neoplasia (PanIN), display a ductal phenotype. However, there is evidence in genetically defined mouse models for PDAC harbouring a mutated kras under the control of a pancreas-specific promoter that ductal cancer might arise in the centroacinar-acinar region, possibly through a process of acinar-ductal metaplasia (ADM). In order to further elucidate this model of PDAC development, an extensive expression analysis and molecular characterization of the putative and already established (PanIN) precursor lesions were performed in the Kras(G12D/+) ; Ptf1a-Cre(ex1/+) mouse model and in human tissues, focusing on lineage markers, developmental pathways, cell cycle regulators, apomucins, and stromal activation markers. The results of this study show that areas of ADM are very frequent in the murine and human pancreas and represent regions of increased proliferation of cells with precursor potential. Moreover, atypical flat lesions originating in areas of ADM are the most probable precursors of PDAC in the Kras(G12D/+); Ptf1a-Cre(ex1/+) mice and similar lesions were also found in the pancreas of three patients with a strong family history of PDAC. In conclusion, PDAC development in Kras(G12D/+); Ptf1a-Cre(ex1/+) mice starts from ADM and a similar process might also take place in patients with a strong family history of PDAC.

Mitochondrial thioredoxin reductase is essential for early postischemic myocardial protection.

BACKGROUND: Excessive formation of reactive oxygen species contributes to tissue injury and functional deterioration after myocardial ischemia/reperfusion. Especially, mitochondrial reactive oxygen species are capable of opening the mitochondrial permeability transition pore, a harmful event in cardiac ischemia/reperfusion. Thioredoxins are key players in the cardiac defense against oxidative stress. Mutations in the mitochondrial thioredoxin reductase (thioredoxin reductase-2, Txnrd2) gene have been recently identified to cause dilated cardiomyopathy in patients. Here, we investigated whether mitochondrial thioredoxin reductase is protective against myocardial ischemia/reperfusion injury. METHODS AND RESULTS: In mice, α-MHC-restricted Cre-mediated Txnrd2 deficiency, induced by tamoxifen (Txnrd2-/-ic), aggravated systolic dysfunction and cardiomyocyte cell death after ischemia (90 minutes) and reperfusion (24 hours). Txnrd2-/-ic was accompanied by a loss of mitochondrial integrity and function, which was resolved on pretreatment with the reactive oxygen species scavenger N-acetylcysteine and the mitochondrial permeability transition pore blocker cyclosporin A. Likewise, Txnrd2 deletion in embryonic endothelial precursor cells and embryonic stem cell-derived cardiomyocytes, as well as introduction of Txnrd2-shRNA into adult HL-1 cardiomyocytes, increased cell death on hypoxia and reoxygenation, unless N-acetylcysteine was coadministered. CONCLUSIONS: We report that Txnrd2 exerts a crucial function during postischemic reperfusion via thiol regeneration. The efficacy of cyclosporin A in cardiac Txnrd2 deficiency may indicate a role for Txnrd2 in reducing mitochondrial reactive oxygen species, thereby preventing opening of the mitochondrial permeability transition pore.

Muscle force development after low-frequency magnetic burst stimulation in dogs.

INTRODUCTION: Magnetic stimulation allows for painless and non-invasive extrinsic motor nerve stimulation. Despite several advantages, the limited coupling to the target reduces the application of magnetic pulses in rehabilitation. According to experience with electrical stimulation, magnetic bursts could remove this constraint. METHODS: A novel burst stimulator was used to apply single and burst pulses to the femoral nerve in 10 adult dogs. A figure-of-eight coil was connected, and pulses were applied at 7.5 HZ. Contractions of the quadriceps muscle were measured via an angle force transducer. RESULTS: Muscle forces were significantly higher upon burst stimulation than after single pulses. Four consecutive burst pulses proved most effective. Stimulation by more bursts resulted in fatigue. CONCLUSION: Burst stimulation is superior to standard magnetic single pulses, and 4 consecutive burst pulses proved most effective.

Welfare Assessment of Adult Laboratory Zebrafish: A Practical Guide.

Teleost fish such as Danio rerio (zebrafish) have been successfully used in biomedical research since decades. Genetically altered fish lines obtained by state-of-the-art genetic technologies are serving as well-known model organisms. In Europe, following Directive 2010/63/EU, generation, breeding, and husbandry of new genetically altered lines of laboratory animals require governmental state approval in case pain, suffering, distress, or long-lasting harm to the offspring derived by breeding of these lines cannot be excluded. The identification and assessment of pain, distress, or harm, according to a severity classification of mild, moderate, severe, or humane endpoint, became a new challenging task for all scientists, animal technicians, and veterinarians for daily work with laboratory zebrafish. In this study, we describe the performance of the assessment of welfare parameters of selected pathologic phenotypes and abnormalities frequently found in laboratory fish facilities based on veterinary, biological, and physiological aspects by using a dedicated score sheet. In a colony of zebrafish, we evaluated the frequency of genotype-independent abnormalities observed within 3 years. We give examples for severity classification and measures once an abnormality has been identified according to the 3Rs (Replacement, Reduction and Refinement).

The scaffold protein p62 regulates adaptive thermogenesis through ATF2 nuclear target activation.

During ß-adrenergic stimulation of brown adipose tissue (BAT), p38 phosphorylates the activating transcription factor 2 (ATF2) which then translocates to the nucleus to activate the expression of Ucp1 and Pgc-1α. The mechanisms underlying ATF2 target activation are unknown. Here we demonstrate that p62 (Sqstm1) binds to ATF2 to orchestrate activation of the Ucp1 enhancer and Pgc-1α promoter. P62Δ69-251 mice show reduced expression of Ucp1 and Pgc-1α with impaired ATF2 genomic binding. Modulation of Ucp1 and Pgc-1α expression through p62 regulation of ATF2 signaling is demonstrated in vitro and in vivo in p62Δ69-251 mice, global p62-/- and Ucp1-Cre p62flx/flx mice. BAT dysfunction resulting from p62 deficiency is manifest after birth and obesity subsequently develops despite normal food intake, intestinal nutrient absorption and locomotor activity. In summary, our data identify p62 as a master regulator of BAT function in that it controls the Ucp1 pathway through regulation of ATF2 genomic binding.

Detection of Murine Astrovirus and Myocoptes musculinus in individually ventilated caging systems: Investigations to expose suitable detection methods for routine hygienic monitoring.

Murine Astrovirus is one of the most prevalent viral agents in laboratory rodent facilities worldwide, but its influence on biomedical research results is poorly examined. Due to possible influence on research results and high seroprevalence rates in mice, it appears useful to include this virus into routine health monitoring programs. In order to establish exhaust air particle PCR as a reliable detection method for Murine Astrovirus infections in mice kept in individually ventilated cages (IVC) and compare the method to sentinel mice monitoring regarding reproducibility and detection limit, we conducted a study with defined Murine Astrovirus cage prevalence. In parallel, the efficacy of both detection strategies (soiled-bedding sentinel (SBS) and exhaust air dust (EAD) analysis) was tested for Myocoptes musculinus. The fur mite was used as a reference organism during the whole study period to ensure the validity of this method. Because some publications already demonstrated successful detection of several pathogens, including murine fur mite species, via EAP-PCR. Detection of Murine Astrovirus infections at low prevalence is possible with both methods tested. Detection by exhaust air particles (EAP) is faster, more sensitive and more reliable compared to soiled bedding sentinels (SBS). Exhaust air particle PCR also detected the reference organism Myocoptes musculinus, which was not detected at all by sentinel mice, not even by high sensitivity fur swab qPCR. In conclusion, Murine Astrovirus can be detected by both exhaust air particle PCR and soiled bedding sentinels. We recommend exhaust air particle PCR as the better detection technique for Murine Astrovirus, because it is more reliable. Environmental samples are the method of choice for detection of Myocoptes musculinus because relying on soiled bedding sentinels harbors a big risk of missing existing infestations.

Combining fish and environmental PCR for diagnostics of diseased laboratory zebrafish in recirculating systems.

Precise knowledge of the health status of experimental fish is crucial to obtain high scientific and ethical standards in biomedical research. In addition to the use of sentinel fish, the examination of diseased fish is a fundamental part of all health monitoring concepts. PCR assays offer excellent sensitivity and the ability to test a broad variety of pathogenic agents in different sample types. Recently, it was shown that analysis of environmental samples such as water, sludge or detritus from static tanks can complement PCR analysis of fish and is actually more reliable for certain pathogens. In our study, we investigated whether the analysis of filtered water mixed with detritus of tanks including fish showing clinical signs of illness is suitable to complement health monitoring programs in recirculating systems. The obtained data indicate that pathogens such as Pseudoloma neurophilia or Myxidium streisingeri were exclusively or mainly found in fish, while mycobacteria were predominantly present in environmental samples. A combination of both sample types seems to be required for the detection of a broad range of infectious agents in zebrafish colonies using real-time PCR technology.

Cytoplasmic thioredoxin reductase is essential for embryogenesis but dispensable for cardiac development.

Two distinct thioredoxin/thioredoxin reductase systems are present in the cytosol and the mitochondria of mammalian cells. Thioredoxins (Txn), the main substrates of thioredoxin reductases (Txnrd), are involved in numerous physiological processes, including cell-cell communication, redox metabolism, proliferation, and apoptosis. To investigate the individual contribution of mitochondrial (Txnrd2) and cytoplasmic (Txnrd1) thioredoxin reductases in vivo, we generated a mouse strain with a conditionally targeted deletion of Txnrd1. We show here that the ubiquitous Cre-mediated inactivation of Txnrd1 leads to early embryonic lethality. Homozygous mutant embryos display severe growth retardation and fail to turn. In accordance with the observed growth impairment in vivo, Txnrd1-deficient embryonic fibroblasts do not proliferate in vitro. In contrast, ex vivo-cultured embryonic Txnrd1-deficient cardiomyocytes are not affected, and mice with a heart-specific inactivation of Txnrd1 develop normally and appear healthy. Our results indicate that Txnrd1 plays an essential role during embryogenesis in most developing tissues except the heart.

Environmental samples make soiled bedding sentinels dispensable for hygienic monitoring of IVC-reared mouse colonies.

Accurate knowledge of the health status of experimental animals is pivotal to high scientific and ethical standards in biomedical research. Individually ventilated cages (IVCs) are becoming the predominant system for housing laboratory mice, as they prevent cage-to-cage infections. However, this feature constitutes a major drawback for hygienic monitoring of mouse colonies, as traditional screening programs build on reliable transmission of infectious agents from experimental animals to sentinel mice commonly tested as representatives for the mouse colonies. In recent years, the laboratory animal community has realized that sentinels are ineffectual for screening mouse colonies in IVC systems because infections are often not transmitted to sentinels and therefore remain undetected. Furthermore, sentinel monitoring results in high numbers of used animals. In contrast, environmental monitoring provides a more reliable approach to identify and exclude pathogens in rodent colonies. In recent studies we provided evidence that polymerase chain reaction analysis of exhaust air particles is superior to soiled bedding sentinels for different agents. In this study, we show that testing pooled environmental samples generates more meaningful information compared to soiled bedding sentinels during routine hygienic monitoring in different barriers.

Understanding gene functions and disease mechanisms: Phenotyping pipelines in the German Mouse Clinic.

Since decades, model organisms have provided an important approach for understanding the mechanistic basis of human diseases. The German Mouse Clinic (GMC) was the first phenotyping facility that established a collaboration-based platform for phenotype characterization of mouse lines. In order to address individual projects by a tailor-made phenotyping strategy, the GMC advanced in developing a series of pipelines with tests for the analysis of specific disease areas. For a general broad analysis, there is a screening pipeline that covers the key parameters for the most relevant disease areas. For hypothesis-driven phenotypic analyses, there are thirteen additional pipelines with focus on neurological and behavioral disorders, metabolic dysfunction, respiratory system malfunctions, immune-system disorders and imaging techniques. In this article, we give an overview of the pipelines and describe the scientific rationale behind the different test combinations.

Essential role for mitochondrial thioredoxin reductase in hematopoiesis, heart development, and heart function.

Oxygen radicals regulate many physiological processes, such as signaling, proliferation, and apoptosis, and thus play a pivotal role in pathophysiology and disease development. There are at least two thioredoxin reductase/thioredoxin/peroxiredoxin systems participating in the cellular defense against oxygen radicals. At present, relatively little is known about the contribution of individual enzymes to the redox metabolism in different cell types. To begin to address this question, we generated and characterized mice lacking functional mitochondrial thioredoxin reductase (TrxR2). Ubiquitous Cre-mediated inactivation of TrxR2 is associated with embryonic death at embryonic day 13. TrxR2(TrxR2(-/-)minus;/TrxR2(-/-)minus;) embryos are smaller and severely anemic and show increased apoptosis in the liver. The size of hematopoietic colonies cultured ex vivo is dramatically reduced. TrxR2-deficient embryonic fibroblasts are highly sensitive to endogenous oxygen radicals when glutathione synthesis is inhibited. Besides the defect in hematopoiesis, the ventricular heart wall of TrxR2(TrxR2(-/-)minus;/TrxR2(-/-)minus;) embryos is thinned and proliferation of cardiomyocytes is decreased. Cardiac tissue-restricted ablation of TrxR2 results in fatal dilated cardiomyopathy, a condition reminiscent of that in Keshan disease and Friedreich's ataxia. We conclude that TrxR2 plays a pivotal role in both hematopoiesis and heart function.

Murine norovirus detection in the exhaust air of IVCs is more sensitive than serological analysis of soiled bedding sentinels.

One limitation to housing rodents in individually ventilated cages (IVCs) is the ineffectiveness of traditional health monitoring programs that test soiled bedding sentinels every quarter. Aerogen transmission does not occur with this method. Moreover, the transmission of numerous pathogens in bedding is uncertain, and sentinel susceptibility to various pathogens varies. A novel method using particle collection from samples of exhaust air was developed in this study which was also systematically compared with routine health monitoring using soiled bedding sentinels. We used our method to screen these samples for the presence of murine norovirus (MNV), a mouse pathogen highly prevalent in laboratory animal facilities. Exhaust air particles from prefilters of IVC racks with known MNV prevalence were tested by quantitative reverse transcription polymerase chain reaction (RT-qPCR). MNV was detected in exhaust air as early as one week with one MNV-positive cage per rack, while sentinels discharged MNV RNA without seroconverting. MNV was reliably and repeatedly detected in particles collected from samples of exhaust air in all seven of the three-month sampling rounds, with increasing MNV prevalence, while sentinels only seroconverted in one round. Under field conditions, routine soiled bedding sentinel health monitoring in our animal facility failed to identify 67% ( n = 85) of positive samples by RT-qPCR of exhaust air particles. Thus, this method proved to be highly sensitive and superior to soiled bedding sentinels in the reliable detection of MNV. These results represent a major breakthrough in hygiene monitoring of rodent IVC systems and contribute to the 3R principles by reducing the number of animals used and by improving experimental conditions.

Embryonic expression profile of phospholipid hydroperoxide glutathione peroxidase.

The selenoenzyme phospholipid hydroperoxide glutathione peroxidase (PHGPx) is indispensable for murine embryonic development; yet, the cellular mechanisms leading to embryonic death around gastrulation are still unclear. To investigate PHGPx expression patterns during embryogenesis, we performed a detailed analysis that revealed a complex expression profile. Up to embryonic day 9.5, PHGPx was ubiquitously expressed, which was, albeit to a lower extent, maintained throughout later stages of embryogenesis. Notably, strong expression was frequently observed in epithelial tissue. A transient increase in PHGPx expression was detected in developing tissues, suggesting a crucial role for PHGPx in proliferation and differentiation. By semi-quantitative RT-PCR analysis we observed that the cytosolic form of PHGPx was present in embryonic and somatic tissues whereas the mitochondrial and nuclear forms were detectable only in testicular tissue. This strongly suggests that it is the cytosolic form of PHGPx that is indispensable for embryonic development.

Exhaust Air Dust Monitoring is Superior to Soiled Bedding Sentinels for the Detection of Pasteurella pneumotropica in Individually Ventilated Cage Systems.

Reliable detection of unwanted organisms is essential for meaningful health monitoring in experimental animal facilities. Currently, most rodents are housed in IVC systems, which prevent the aerogenic transmission of pathogens between cages. Typically soiled-bedding sentinels (SBS) exposed to soiled bedding collected from a population of animals within an IVC rack are tested as representatives, but infectious agents often go undetected due to inefficient transmission. Pasteurellaceae are among the most prevalent bacterial pathogens isolated from experimental mice, and the failure of SBS to detect these bacteria is well established. In this study, we investigated whether analysis of exhaust air dust (EAD) samples by using a sensitive and specific real-time PCR assay is superior to conventional SBS monitoring for the detection of Pasteurella pneumotropica (Pp) infections. In a rack with a known prevalence of Pp-positive mice, weekly EAD sampling was compared with the classic SBS method over 3 mo. In 6 rounds of testing, with a prevalence of 5 infected mice in each of 7 cages in a rack of 63 cages, EAD PCR detected Pp at every weekly time point; SBS failed to detect Pp in all cases. The minimal prevalence of Pp-infected mice required to obtain a reliable positive result by EAD PCR testing was determined to be 1 in 63 cages. Reliable detection of Pp was achieved after only 1 wk of exposure. Analysis of EAD samples by real-time PCR assay provides a sensitive, simple, and reliable approach for Pp identification in laboratory mice.

High-Resolution Melting Curve Analysis for Identification of Pasteurellaceae Species in Experimental Animal Facilities.

Pasteurellaceae are among the most prevalent bacterial pathogens isolated from mice housed in experimental animal facilities. Reliable detection and differentiation of Pasteurellaceae are essential for high-quality health monitoring. In this study, we combined a real-time PCR assay amplifying a variable region in the 16S rRNA sequence with high-resolution melting curve analysis (HRM) to identify and differentiate among the commonly isolated species Pasteurella pneumotropica biotypes "Jawetz" and "Heyl", Actinobacillus muris, and Haemophilus influenzaemurium. We used a set of six reference strains for assay development, with the melting profiles of these strains clearly distinguishable due to DNA sequence variations in the amplicon. For evaluation, we used real-time PCR/HRM to test 25 unknown Pasteurellaceae isolates obtained from an external diagnostic laboratory and found the results to be consistent with those of partial 16S rRNA sequencing. The real-time PCR/HRM method provides a sensitive, rapid, and closed-tube approach for Pasteurellaceae species identification for health monitoring of laboratory mice.

Heart-Specific Knockout of the Mitochondrial Thioredoxin Reductase (Txnrd2) Induces Metabolic and Contractile Dysfunction in the Aging Myocardium.

BACKGROUND: Ubiquitous deletion of thioredoxin reductase 2 (Txnrd2) in mice is embryonically lethal and associated with abnormal heart development, while constitutive, heart-specific Txnrd2 inactivation leads to dilated cardiomyopathy and perinatal death. The significance of Txnrd2 in aging cardiomyocytes, however, has not yet been examined. METHODS AND RESULTS: The tamoxifen-inducible heart-specific αMHC-MerCreMer transgene was used to inactivate loxP-flanked Txnrd2 alleles in adult mice. Hearts and isolated mitochondria from aged knockout mice were morphologically and functionally analyzed. Echocardiography revealed a significant increase in left ventricular end-systolic diameters in knockouts. Fractional shortening and ejection fraction were decreased compared with controls. Ultrastructural analysis of cardiomyocytes of aged mice showed mitochondrial degeneration and accumulation of autophagic bodies. A dysregulated autophagic activity was supported by higher levels of lysosome-associated membrane protein 1 (LAMP1), microtubule-associated protein 1A/1B-light chain 3-I (LC3-I), and p62 in knockout hearts. Isolated Txnrd2-deficient mitochondria used less oxygen and tended to produce more reactive oxygen species. Chronic hypoxia inducible factor 1, α subunit stabilization and altered transcriptional and metabolic signatures indicated that energy metabolism is deregulated. CONCLUSIONS: These results imply a novel role of Txnrd2 in sustaining heart function during aging and suggest that Txnrd2 may be a modifier of heart failure.

Cerebellar hypoplasia in mice lacking selenoprotein biosynthesis in neurons.

Selenium exerts many, if not most, of its physiological functions as a selenocysteine moiety in proteins. Selenoproteins are involved in many biochemical processes including regulation of cellular redox state, calcium homeostasis, protein biosynthesis, and degradation. A neurodevelopmental syndrome called progressive cerebello-cortical atrophy (PCCA) is caused by mutations in the selenocysteine synthase gene, SEPSECS, demonstrating that selenoproteins are essential for human brain development. While we have shown that selenoproteins are required for correct hippocampal and cortical interneuron development, little is known about the functions of selenoproteins in the cerebellum. Therefore, we have abrogated neuronal selenoprotein biosynthesis by conditional deletion of the gene encoding selenocysteyl tRNA([Ser]Sec) (gene symbol Trsp). Enzymatic activity of cellular glutathione peroxidase and cytosolic thioredoxin reductase is reduced in cerebellar extracts from Trsp-mutant mice. These mice grow slowly and fail to gain postural control or to coordinate their movements. Histological analysis reveals marked cerebellar hypoplasia, associated with Purkinje cell death and decreased granule cell proliferation. Purkinje cell death occurs along parasagittal stripes as observed in other models of Purkinje cell loss. Neuron-specific inactivation of glutathione peroxidase 4 (Gpx4) used the same Cre driver phenocopies tRNA([Ser]Sec) mutants in several aspects: cerebellar hypoplasia, stripe-like Purkinje cell loss, and reduced granule cell proliferation. Parvalbumin-expressing GABAergic interneurons (stellate and/or basket cells) are virtually absent in tRNA([Ser]Sec)-mutant mice, while some remained in Gpx4-mutant mice. Our data show that selenoproteins are specifically required in postmitotic neurons of the developing cerebellum, thus providing a rational explanation for cerebellar hypoplasia as occurring in PCCA patients.