ライプツィヒの4222だな。
ドルトムントも似たようなことはやってて442に直したのを前に書き込んだんだけど、まさにこれだわ。