Corona-Warn-App: A Design Story