Rudi Thomsen (21. juli 1918 – 30. marts 2004) - Christiansen, Erik (Historisk Tidsskrift, 2013)