Ist die postbeamtenkrankenkasse eine gesetzliche Krankenkasse?