In Memoriam Christian Biet, 1952-2020 · Databases, Revenues ...