Ole Jensen — så är hr Oluf Jensen döpt—