MAN-ANTON típusú gőzüzemű csavaros vontatóhajó