badanstalter ( 25 cent.