The chest was opened, and perfusion with 4% phosphate buffered formaldehyde (Roti-Histofix, Roth, Karlsruhe,Germany) was performed through the opened left ventricle with a pressure of 120–140 mm of mercury controlled by a manual
manometer. Mice were suffocated with carbon dioxide (CO2) and decapitated