Als ik netjes bereken 14,5 / 2π, kom ik op een diameter van 14,3 mm.
Je kunt een omtrek op zo'n klein formaat niet goed meten, lijkt me.
Dus meet eerst gewoon even met een schuifmaat. Zelfs de digitale exemplaren zijn tegenwoordig voor weinig geld te koop en hebben dan toch best al een heel redelijke kwaliteit. En anders leen je er eentje bij een buurman of zo.
Zou me namelijk niets verbzazen als de leiding gewoon 15 mm is.
Wat is het voor leiding? Lood? Want koperen waterleidingen zijn, voorzover mij bekend, (in Nederland) nooit in een dergelijke tussenmaat verkocht. Maar zeker weten doe ik dat dus niet.
Overigens mag je de restanten van de leiding niet zomaar laten zitten, maar moet je ze afdoppen vlak na de plek waar ze afgetakt werden van andere leidingen waar water door blijft stromen. Anders vorm je zgn. dode stukken leiding, een bron voor legionella. Dat is niet toegestaan door de waterleidingbedrijven en moet je ook niet willen!