house numbers with a leading zero

https://www.openstreetmap.org/user/Peter Dobratz/diary/23953