Sanierung einer Traditionspumpevor dem Rathaus in Frankfurt(O)