Heute vor 30 Jahren beendete der deutsche Schwimmer Michael Groß seine Karriere bei den Weltmeisterschaften mit vier Medaillen.