72 1 / 2 , 25.47 1 / 2 , —Hafnburg