The Anderson–Josephson quantum dot—a theory perspective. (21st February 2019)