†family Ichthyostegidae Save-Soderbergh 1932 (lobe-finned fish)