An extension building for the police hospital