"pool lining" Deutsche bedeutung