Wie hoch ist der derzeitige 2020 durchschnittliche Zusatzbeitrag in der GKV?