Extension to a holiday house.