( 716 ) Domtrapphuset.