Interpreting building:levels and roof:levels in Edinburgh

https://www.openstreetmap.org/user/zool/diary/34429