18 : Agda , Andersen , gt . Gefle;