shop=department_store and mall in one filter ?

Hi there,

the difference between the shopping centers
http://wiki.openstreetmap.org/wiki/Tag:shop%3Ddepartment_store
http://wiki.openstreetmap.org/wiki/Tag:shop%3Dmall
doesn't really exist in Germany, as the main difference is if it's the same proprietor or not.

It seems that currently the correspondent filter
just contains "mall", but not "department_store",
while it would be available in nominatim ? :
http://wiki.openstreetmap.org/wiki/Nominatim/Special_Phrases/EN

As there are a couple of big shopping centers
("malls" of the same "brand" / proprietor, similar to Walmart, but more diverse),
there are many which can't be found with uNav (as there's no filter for "department_store").

Also see :
https://en.wikipedia.org/wiki/Shopping_mall#Regional_differences

Examples :
https://en.wikipedia.org/wiki/Breuninger#Department_stores
104 shopping centers "Galeria Kaufhof"
https://de.wikipedia.org/wiki/Kaufhof
"Karstadt Warenhaus GmbH comprises 83 department stores"
https://en.wikipedia.org/wiki/Karstadt

Cheers,
Thilo