Loch im Pool: Flicken und reparieren