Permo-triassic and dinantian rocks of the Belfast harbour borehole | lit.salon