Ist die AOK eine gmbh?