( x . Rudin , omkring den lo Juli.