*Animals*

Wild type (WT) mice were purchased from Charles River Wiga GmbH (Sulzfeld, Germany), whereas the knock-in (KI) mice were kindly provided by the RIKEN Center for Brain Science (Saitama, Japan) on a C57BL/6J background and further bred at mfd Diagnostics GmbH (Wendelsheim, Germany). After their arrival at our facility at the age of four weeks, the animals were chipped with subcutaneous transponders to facilitate identification and to enable the IntelliCage task. Furthermore, additional genotyping via polymerase-chain-reaction analysis was carried out to ensure the adequate genetic background of each animal. Their allocation to the home cages was in a randomized order. All animals were housed in groups of two mice per cage (Green Line, Tecniplast, Hohenpeissenberg, Germany). In the maintenance room, constant temperature (mean: 22.7 ◦C) and humidity (mean: 48.6%) conditions as well as a 12/12 h dark/light cycle were provided. The pathogen-free status of the maintenance room was regularly monitored using sentinel mice. After an acclimatization phase of one week, the mice were allocated randomly to the experimental groups based on different diets. Body conditions scores were monitored, and the mice were weighed every week.
