AdA – the world’s first electron–positron storage ring