Title: Benchmark Problems for the Validation of Eddy Current Computer Codes