en gammal theaterterm .)