diverse ; Bore lä ) , Fredholm , dito , jern ; Thor lä ) , Lind ,Finland