G . Mittag-Leffler i Stockholm.