The description says that duplex printing is possible manually, which means that I have to turn the paper myself. Is the printer also available with an automatic duplexer or can you recommend a small printer that can do this?