Gender note

For better readability, the masculine form is used for personal names and personal nouns on this website. Corresponding terms apply equally to all genders for the purposes of equal treatment.