A gasket-type standard leak element using femtosecond laser micromachining. (October 2020)