Schätze es liegt daran, dass das neue Gehäuse mit der 5512 eingeführt wurde, die 5513 erst später dazu kam. Da wird man die vorhandenen Deckel genutzt haben, die schon mit der 5512er Prägung versehen waren.