How to repair an old basement wall - DIY - Waterproofing