Ist die BKK Mobil Oil eine gesetzliche Krankenkasse?