re: #258 wrenchwench

When I was in Germany in 1993, I noticed something similar.

I remember from living in Peru that they switched over from six to seven, but I don’t recall that they ever had both simultaneously.