WebMall -- A Multi-Shop Benchmark for Evaluating Web Agents [Technical Report]