publication New city hall for Amsterdam, publication Wilhelm Holzbauer