Wie hoch ist der Zusatzbeitrag bei der AOK Bayern?