Public swimming pool in Sirnitz.