Text this: The Stage guide: technical information on British theatres;