Civic theatre; Town hall and theatre, Ijsselstein, The Netherlands