agda , dotter till ingeniöre ( 1.