hrr Oscar Lamm ocb G . Mittag Leffler.