The Berlin ſʒ is indeed what parent was referring to....unless he meant Bonn, where a very similar font is used. Would be interesting to know if a font like this is used elsewhere too.