Jens Kristen BÝrge Petersen (1917 - 1993)