>>> df = pd.read_csv(..., index_col="BibNumber")
>>> df.set_index("BibNumber", inplace=True)