Title: Norsk fangeleksikon, Grinifangene