Das UG ist Teil des umbauten Raums, und ein OG hat das Gebäude auch. Somit: lass die Tags wie sie sind. Egal ob "redundant" oder nicht.