Operahallen och Hiirnbergertunneln äronamnen