Mannen i mariusgenseren er død

Mannen som ga navn til mariusgenseren, Marius Eriksen, er død.