Doof ist immer Ansichtssache, aber sicher suboptimal ;-)
Sie sind korrekt mit access=privat getaggt und werden deshalb auf der Standardkarte auch ausgegraut angezeigt.
Dass sie als building=yes getaggt sind ist sicher falsch, aber was besser ist (Bin kein Indoormapper) oder ob sie überhaupt eingezeichnet sein sollten weiss ich nicht...