ArF laser, KrF laser