Modern Germany hasPR via a mixed member proportional (MMP) system -- which, IIRC, was a German innovation when introduced; it doesn't have straight party-list PR, but then the more proportional system for the US proposed upthread isn't party-list PR, either. Proportionality is a (really, continuous valued, not binary) outcome, there are a number of systems for achieving it to a greater or lesser extent.