function js_174010139348661()
{
document.write ('<a href="/germany/hotels/achat-dresden-hotel-3240-details.htm">printable version</a>');
}

function js_174010139348661()
{
document.write ('<a href="/germany/hotels/achat-dresden-hotel-3240-details.htm">printable version</a>');
}