gender note

For better readability, we either use the masculine or the feminine form. No discrimination of any gender is implied. All genders are always addressed.