Old Red Sandstone also formed at this time.
旧赤色砂岩が形成されたのもこの時期である。