Schade, bin nicht mehr so oft in Nürnberg!
Aber danke für den Tip.