rock digging tools in Switzerland