in the simple indoor tagging in the german forum you wrote http://forum.openstreetmap.org/viewtopic.php?pid=451601#p451601
Who is working on this ifc export? Which library is used for that? Is there already source code available?
let´s talk via PM about that.