Copy-Pasted Rostock Mini source.