Gender note

To improve readability, we refrain from using masculine, feminine and neutral language forms simultaneously and instead use the generic masculine. All personal designations include all genders equally. The abbreviated spelling is purely for editorial purposes and does not constitute a judgment.