Linköping ) ; 8 , 1« ( gödel.