Mid-Devonian to early Permian volcanism: Old World