Epidemiologische Kurzinformation des Robert Koch-Instituts zu den HIV/AIDS-Eckdaten (Stand: Ende 2023)