The Pearl Jubilee of Microcin J25: Thirty Years of Research on an Exceptional Lasso Peptide