Brigitte Bierlein ist gestorben – sie wurde 74 Jahre alt.