Resolution in world and map file of maze map are different

[AlexReimann]

In the maze.world file it says 0.02 and in the maze.yaml it says 0.05.

My guess is that the resolution in the world file actually doesn't matter (as far as I remember the resolution is calculated from the size given in the map file, as I wrote here)