Note on gender
To improve clarity, the masculine form is used for personal names and personal nouns on this website. Corresponding terms apply in principle to all genders in the interests of equal treatment. The abbreviated language form is for editorial reasons only and does not imply any judgement.