Searching for Library yields no reasults

[kordianbruck]

https://nav.tum.de/search?q=library yields nothing. https://nav.tum.de/search?q=bibliothek yields a few things, but it doesn't not https://nav.tum.de/building/5401 for example.

This is a bit painful, given that the library might be a pretty frequent search, no?