"pool revetments" Deutsche bedeutung