( 5257 ) J . O. Thomsen , Theol.