"Unter dem Namen Allgemeine Ortskrankenkasse (AOK) bestehen derzeit in Deutschland elf rechtlich selbständige Krankenkassen, bei denen insgesamt mehr als 26,3 Millionen Menschen, also rund ein Drittel der deutschen Bevölkerung, versichert sind." - (de.wikipedia.org 30.01.2020)
de